"John Hatcliff" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, ... Programming and Software Engineering)

Автор: John Hatcliff, Автор: Elena Zucca

Категория: Техника

Размер книги: 2.88 Mb

Tools and Algorithms for the Construction and Analysis of Systems, 9 conf., TACAS 2003

Автор: Hubert Garavel, Автор: John Hatcliff

Категория: Cs_Computer science, CsLn_Lecture notes

Размер книги: 4.68 Mb

Partial Evaluation - Practice and Theory, DIKU 1998

Автор: John Hatcliff, Автор: Torben Mogensen, Автор: Peter Thiemann

Категория: CsLn_

Размер книги: 20.20 Mb